On Sets of Premises
نویسنده
چکیده
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with the same premises and the same conclusions become equal. In terms of categorial proof theory, this is a consequence of a simple fact concerning adjunction with a full and faithful functor applied to the adjunction between the diagonal functor and the product biendofunctor, which corresponds to the conjunction connective.
منابع مشابه
Constructive Tightly Grounded Autoepistemic Reasoning
The key concept of autoepistemic logic introduced by Moore is a stable expansion of a set of premises, i.e., a set of beliefs adopted by an agent with perfect introspection capabilities on the basis of the premises. Moore's formal-ization of a stable expansion, however, is non-constructive and produces sets of beliefs which are quite weakly grounded in the premises. A new more constructive defi...
متن کاملNarrowing Down Suspicion in Inconsistent Premise Sets∗
Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a ...
متن کاملWhen some premises are more premise than others, the consequences are the real premises
This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are fo...
متن کاملAll Premises Are Equal, but Some Are More Equal than Others
This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism, that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are f...
متن کاملThe undecidability of propositional adaptive logic
We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1412.6783 شماره
صفحات -
تاریخ انتشار 2014